501. Modelling foundations and applications :
پدیدآورنده: Robert B. France [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Model-driven software architecture, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
E97
2011
502. Modelling foundations and applications
پدیدآورنده: / Thomas Keuhne ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer architecture--Congresses,Software engineering--Congresses,Object-oriented programming (Computer science)--Congresses,Conception assistaee par ordinateur en gaenie logiciel--Congr?es.--ram,Modellgetriebene Entwicklung--swd,Modelltransformation--swd,Metamodell--swd,Entwurfssprache--swd,Anwendungssystem--swd,Paris <2010>--swd
رده :
QA
,
76
.
76
,.
D47
,
E762
,
2010
503. Models in software engineering
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
504. Models in software engineering
پدیدآورنده: Jörg Kienzle (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
M63
2011eb
505. Models in software engineering
پدیدآورنده: / Thomas K?�hne (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Software engineering--Congresses,UML (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
M6257
,
2006a
506. Multi-agent system engineering : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 : Valencia, Spain, June/July, 1999 : proceedings
پدیدآورنده: Francisco J. Garijo, Magnus Boman )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
1647
507. Multi-agent systems and agreement technologies :
پدیدآورنده: Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
508. Multicore Software Engineering, Performance, and Tools
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگرهها,چندپردازندهها -- کنگرهها,برنامهنویسی موازی -- کنگرهها
رده :
E-Book
,
509. Music technology with Swing :
پدیدآورنده: Mitsuko Aramaki, Matthew E.P. Davies, Richard Kronland-Martinet, Sølvi Ystad (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer music, Congresses.,Data mining, Congresses.,Human-computer interaction, Congresses.,Musical analysis-- Data processing, Congresses.,Sounds-- Data processing, Congresses.,Artificial intelligence.,Computer music.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Data mining.,Human-computer interaction.,Musical analysis-- Data processing.,Software Engineering.,User interface design & usability.
رده :
ML1380
510. NASA Formal Methods :
پدیدآورنده: Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
511. NASA formal methods :
پدیدآورنده: Alwyn E. Goodloe, Suzette Person (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,Fault-tolerant computing, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.
رده :
QA76
.
9
.
F67
N46
2012eb
512. NASA formal methods :
پدیدآورنده: Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
513. NASA formal methods :
پدیدآورنده: Julia M. Badger, Kristin Yvonne Rozier (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
N46
2014
514. NETWORKING 2012 Workshops
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer networks -- Congresses,Computer networks -- Management -- Congresses,Software engineering,شبکههای کامپیوتری -- کنگرهها,شبکههای کامپیوتری -- مدیریت -- کنگرهها,مهندسی نرم افزار
رده :
E-Book
,
515. Nanoelectronics, circuits and communication systems :
پدیدآورنده: Vijay Nath, Jyotsna Kumar Mandal, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Internet of things, Congresses.,Nanoelectronics, Congresses.,Wireless communication systems, Congresses.,Internet of things.,Nanoelectronics.,TECHNOLOGY & ENGINEERING-- Mechanical.,Wireless communication systems.
رده :
TK7874
.
84
516. Network and parallel computing :
پدیدآورنده: Erik Altman, Weisong Shi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2011
517. Network and parallel computing :
پدیدآورنده: Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013